3.11.16 \(\int (a+b x)^5 (a c+b c x)^3 \, dx\) [1016]

Optimal. Leaf size=17 \[ \frac {c^3 (a+b x)^9}{9 b} \]

[Out]

1/9*c^3*(b*x+a)^9/b

________________________________________________________________________________________

Rubi [A]
time = 0.00, antiderivative size = 17, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {21, 32} \begin {gather*} \frac {c^3 (a+b x)^9}{9 b} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + b*x)^5*(a*c + b*c*x)^3,x]

[Out]

(c^3*(a + b*x)^9)/(9*b)

Rule 21

Int[(u_.)*((a_) + (b_.)*(v_))^(m_.)*((c_) + (d_.)*(v_))^(n_.), x_Symbol] :> Dist[(b/d)^m, Int[u*(c + d*v)^(m +
n), x], x] /; FreeQ[{a, b, c, d, n}, x] && EqQ[b*c - a*d, 0] && IntegerQ[m] && ( !IntegerQ[n] || SimplerQ[c +
d*x, a + b*x])

Rule 32

Int[((a_.) + (b_.)*(x_))^(m_), x_Symbol] :> Simp[(a + b*x)^(m + 1)/(b*(m + 1)), x] /; FreeQ[{a, b, m}, x] && N
eQ[m, -1]

Rubi steps

\begin {align*} \int (a+b x)^5 (a c+b c x)^3 \, dx &=c^3 \int (a+b x)^8 \, dx\\ &=\frac {c^3 (a+b x)^9}{9 b}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.00, size = 17, normalized size = 1.00 \begin {gather*} \frac {c^3 (a+b x)^9}{9 b} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + b*x)^5*(a*c + b*c*x)^3,x]

[Out]

(c^3*(a + b*x)^9)/(9*b)

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(113\) vs. \(2(15)=30\).
time = 0.12, size = 114, normalized size = 6.71

method	result	size
gosper	\(\frac {x \left (b^{8} x^{8}+9 a \,b^{7} x^{7}+36 a^{2} x^{6} b^{6}+84 a^{3} x^{5} b^{5}+126 a^{4} x^{4} b^{4}+126 a^{5} x^{3} b^{3}+84 a^{6} x^{2} b^{2}+36 a^{7} x b +9 a^{8}\right ) c^{3}}{9}\)	\(91\)
default	\(\frac {1}{9} b^{8} c^{3} x^{9}+a \,b^{7} c^{3} x^{8}+4 a^{2} b^{6} c^{3} x^{7}+\frac {28}{3} a^{3} b^{5} c^{3} x^{6}+14 a^{4} b^{4} c^{3} x^{5}+14 a^{5} b^{3} c^{3} x^{4}+\frac {28}{3} a^{6} c^{3} b^{2} x^{3}+4 a^{7} c^{3} b \,x^{2}+a^{8} c^{3} x\)	\(114\)
norman	\(\frac {1}{9} b^{8} c^{3} x^{9}+a \,b^{7} c^{3} x^{8}+4 a^{2} b^{6} c^{3} x^{7}+\frac {28}{3} a^{3} b^{5} c^{3} x^{6}+14 a^{4} b^{4} c^{3} x^{5}+14 a^{5} b^{3} c^{3} x^{4}+\frac {28}{3} a^{6} c^{3} b^{2} x^{3}+4 a^{7} c^{3} b \,x^{2}+a^{8} c^{3} x\)	\(114\)
risch	\(\frac {b^{8} c^{3} x^{9}}{9}+a \,b^{7} c^{3} x^{8}+4 a^{2} b^{6} c^{3} x^{7}+\frac {28 a^{3} b^{5} c^{3} x^{6}}{3}+14 a^{4} b^{4} c^{3} x^{5}+14 a^{5} b^{3} c^{3} x^{4}+\frac {28 a^{6} c^{3} b^{2} x^{3}}{3}+4 a^{7} c^{3} b \,x^{2}+a^{8} c^{3} x +\frac {c^{3} a^{9}}{9 b}\)	\(125\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b*x+a)^5*(b*c*x+a*c)^3,x,method=_RETURNVERBOSE)

[Out]

1/9*b^8*c^3*x^9+a*b^7*c^3*x^8+4*a^2*b^6*c^3*x^7+28/3*a^3*b^5*c^3*x^6+14*a^4*b^4*c^3*x^5+14*a^5*b^3*c^3*x^4+28/
3*a^6*c^3*b^2*x^3+4*a^7*c^3*b*x^2+a^8*c^3*x

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 113 vs. \(2 (15) = 30\).
time = 0.29, size = 113, normalized size = 6.65 \begin {gather*} \frac {1}{9} \, b^{8} c^{3} x^{9} + a b^{7} c^{3} x^{8} + 4 \, a^{2} b^{6} c^{3} x^{7} + \frac {28}{3} \, a^{3} b^{5} c^{3} x^{6} + 14 \, a^{4} b^{4} c^{3} x^{5} + 14 \, a^{5} b^{3} c^{3} x^{4} + \frac {28}{3} \, a^{6} b^{2} c^{3} x^{3} + 4 \, a^{7} b c^{3} x^{2} + a^{8} c^{3} x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^5*(b*c*x+a*c)^3,x, algorithm="maxima")

[Out]

1/9*b^8*c^3*x^9 + a*b^7*c^3*x^8 + 4*a^2*b^6*c^3*x^7 + 28/3*a^3*b^5*c^3*x^6 + 14*a^4*b^4*c^3*x^5 + 14*a^5*b^3*c
^3*x^4 + 28/3*a^6*b^2*c^3*x^3 + 4*a^7*b*c^3*x^2 + a^8*c^3*x

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 113 vs. \(2 (15) = 30\).
time = 0.92, size = 113, normalized size = 6.65 \begin {gather*} \frac {1}{9} \, b^{8} c^{3} x^{9} + a b^{7} c^{3} x^{8} + 4 \, a^{2} b^{6} c^{3} x^{7} + \frac {28}{3} \, a^{3} b^{5} c^{3} x^{6} + 14 \, a^{4} b^{4} c^{3} x^{5} + 14 \, a^{5} b^{3} c^{3} x^{4} + \frac {28}{3} \, a^{6} b^{2} c^{3} x^{3} + 4 \, a^{7} b c^{3} x^{2} + a^{8} c^{3} x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^5*(b*c*x+a*c)^3,x, algorithm="fricas")

[Out]

1/9*b^8*c^3*x^9 + a*b^7*c^3*x^8 + 4*a^2*b^6*c^3*x^7 + 28/3*a^3*b^5*c^3*x^6 + 14*a^4*b^4*c^3*x^5 + 14*a^5*b^3*c
^3*x^4 + 28/3*a^6*b^2*c^3*x^3 + 4*a^7*b*c^3*x^2 + a^8*c^3*x

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 124 vs. \(2 (12) = 24\).
time = 0.02, size = 124, normalized size = 7.29 \begin {gather*} a^{8} c^{3} x + 4 a^{7} b c^{3} x^{2} + \frac {28 a^{6} b^{2} c^{3} x^{3}}{3} + 14 a^{5} b^{3} c^{3} x^{4} + 14 a^{4} b^{4} c^{3} x^{5} + \frac {28 a^{3} b^{5} c^{3} x^{6}}{3} + 4 a^{2} b^{6} c^{3} x^{7} + a b^{7} c^{3} x^{8} + \frac {b^{8} c^{3} x^{9}}{9} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)**5*(b*c*x+a*c)**3,x)

[Out]

a**8*c**3*x + 4*a**7*b*c**3*x**2 + 28*a**6*b**2*c**3*x**3/3 + 14*a**5*b**3*c**3*x**4 + 14*a**4*b**4*c**3*x**5
+ 28*a**3*b**5*c**3*x**6/3 + 4*a**2*b**6*c**3*x**7 + a*b**7*c**3*x**8 + b**8*c**3*x**9/9

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 113 vs. \(2 (15) = 30\).
time = 1.54, size = 113, normalized size = 6.65 \begin {gather*} \frac {1}{9} \, b^{8} c^{3} x^{9} + a b^{7} c^{3} x^{8} + 4 \, a^{2} b^{6} c^{3} x^{7} + \frac {28}{3} \, a^{3} b^{5} c^{3} x^{6} + 14 \, a^{4} b^{4} c^{3} x^{5} + 14 \, a^{5} b^{3} c^{3} x^{4} + \frac {28}{3} \, a^{6} b^{2} c^{3} x^{3} + 4 \, a^{7} b c^{3} x^{2} + a^{8} c^{3} x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^5*(b*c*x+a*c)^3,x, algorithm="giac")

[Out]

1/9*b^8*c^3*x^9 + a*b^7*c^3*x^8 + 4*a^2*b^6*c^3*x^7 + 28/3*a^3*b^5*c^3*x^6 + 14*a^4*b^4*c^3*x^5 + 14*a^5*b^3*c
^3*x^4 + 28/3*a^6*b^2*c^3*x^3 + 4*a^7*b*c^3*x^2 + a^8*c^3*x

________________________________________________________________________________________

Mupad [B]
time = 0.05, size = 113, normalized size = 6.65 \begin {gather*} a^8\,c^3\,x+4\,a^7\,b\,c^3\,x^2+\frac {28\,a^6\,b^2\,c^3\,x^3}{3}+14\,a^5\,b^3\,c^3\,x^4+14\,a^4\,b^4\,c^3\,x^5+\frac {28\,a^3\,b^5\,c^3\,x^6}{3}+4\,a^2\,b^6\,c^3\,x^7+a\,b^7\,c^3\,x^8+\frac {b^8\,c^3\,x^9}{9} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a*c + b*c*x)^3*(a + b*x)^5,x)

[Out]

a^8*c^3*x + (b^8*c^3*x^9)/9 + 4*a^7*b*c^3*x^2 + a*b^7*c^3*x^8 + (28*a^6*b^2*c^3*x^3)/3 + 14*a^5*b^3*c^3*x^4 +
14*a^4*b^4*c^3*x^5 + (28*a^3*b^5*c^3*x^6)/3 + 4*a^2*b^6*c^3*x^7

________________________________________________________________________________________